home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Developer Source 7
/
developer source - volume 7.iso
/
ieeex
/
aug96
/
lee0f110.gif
< prev
next >
Graphics Interchange Format
|
1997-01-16
|
35KB
|
655x231
|
4-bit (13 colors)
Labels:
text
|
screenshot
|
font
|
number
|
document
|
handwriting
OCR:
[TASK: Configure-a-Module] - (domain-model) ->[ ...... ... ] (state-model) ->[. ... .. ] (precondition) ->[ .. ..... (protection) ->[ .. .. 1 (postcondition) ->[. .. ] (tse) ->[ << T>>">[START] "> << transition>>>[@(T,) ] "> << transition>> -- >[@(T,)]<(final)] [T. ! ]. [T.] ... [[ (NEG) ->[B];]]?] [B] ]]. ...... [ [Current-Module] (compatible)- >(configured-into) --- {Current-Backplane] ] [T]] ....... [TASK : Configure-a-Model] [T] .. .... [TASK: Find-a-Backplane-Suitable-for-Current-Model] Figure 10. The conceptual graph specification of a TSE for the task Configure-a -Module.